Semantic Correctness for a Parallel Object-Oriented Language
نویسندگان
چکیده
منابع مشابه
Parallel Object-Oriented Specification Language
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-tim...
متن کاملA Novel Formal Semantics for a Parallel Object-Oriented Language
The Parallel Object-Oriented language POOL integrates object-oriented characteristics with synchronous communication among objects. A novel formal description of POOL is given here. The description is written using Mosses' action notation style of formal speciication. It is then, compared with other formal speciications of the language. Understandability, extensibility and modularity are the ma...
متن کاملCyclic Debugging for pSather, a Parallel Object-Oriented Programming Language
The paper discusses the main aspects of a parallel debugger for the parallel object-oriented language pSather. PSather provides for a single shared-address space and for multiple threads per processor. Threads can arbitrarily migrate between processors. The debugger supports cyclic debugging which is a standard and quite effective technique for sequential programs. To address nondeterminism, de...
متن کاملA Visual Language for Parallel, Object-Oriented Programming
This paper introduces the HiPPO (High Performance Parallel Object-oriented) language. HiPPO is unique in its combination of a visual syntax with an object-oriented computation model based on the flow of object references. The paper describes some of the notations used in the language with particular emphasis on the features provided to support the exploitation of parallelism. Aspects of the run...
متن کاملDenotational Semantics of a Parallel Object-Oriented Language
A denotational model is presented for the language POOL, a parallel objectoriented language. It is a syntactically simplified version of POOL-T, a language that is actually used to write programs for a parallel machine. The most important aspect of this language is that it describes a system as a collection of communicating objects that all have internal activities which are executed in paralle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 1990
ISSN: 0097-5397,1095-7111
DOI: 10.1137/0219023